- вероятностный анализатор
- analizzatore di probabilità
Dictionnaire technique russo-italien. 2013.
Dictionnaire technique russo-italien. 2013.
методы — методы: Методы косвенного измерения влажности газов, основанные на зависимости их оптических свойств от влажности. Источник: РМГ 75 2004: Государственная система обеспечения единства измерений. Измерен … Словарь-справочник терминов нормативно-технической документации
КВАНТОВАЯ МЕХАНИКА — (волновая механика), теория, устанавливающая способ описания и законы движения микрочастиц (элем. ч ц, атомов, молекул, ат. ядер) и их систем (напр., кристаллов), а также связь величин, характеризующих ч цы и системы, с физ. величинами,… … Физическая энциклопедия
Проверка моделей — (проверка на модели, англ. model checking) метод автоматической формальной верификации параллельных систем с конечным числом состояний. Позволяет проверить удовлетворяет ли заданная модель системы формальным спецификациям. В качестве… … Википедия